reachable marking graph

[ˈriːtʃəbl ˈmɑːkɪŋ ɡræf]
  • 释义

    可达标识图

数据更新时间:2025-11-15 02:36:54
1、

Deciding liveness of bounded Petri nets with its reachable marking graph is easy, but for unbounded Petri nets that are generally existing, finding an algorithm for its liveness decision is not easy.

对有界Petri网,通过构造其可达标识图来判定其活性是容易的,但对于大量的无界Petri网,找到一个判定其活性的一般性算法并不容易。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索
  • channel[ˈtʃænl] n.(电视)频道;波段;渠道;方法;沟渠;航道;海峡;v.将(精力或情感)专注于;输送(资金);
  • Japanese visa[ˌdʒæpəˈniːz ˈviːzə] 日本签证
  • vamos['væməʊz] abbr.Verified Additional Military Occupational Specialty 经过验证的其他军事专业职业;瓦莫斯;我们去
  • survival[səˈvaɪvl] n.生存;残存物;
  • riven[ˈrɪvn] adj.四分五裂的,撕裂的,分裂的,硬给分开的;v.裂开;分裂;撕开;拧去(from; away; off);使烦恼
  • thread[θred] n.线;线索;线状物;螺纹;vt.穿成串;将(针、线等)穿过…;用…线缝;给…装入(胶片、狭带、绳子);
  • organise['ɔ:gənaɪz] v.组织;筹备 ;安排;组建;成立(NAmE=organize);
  • quickly[ˈkwɪkli] adv.迅速地;立即,马上;很快地;
  • sweep[swiːp] v.打扫,拂去;梳(头发);挥动(手臂);席卷,扫过;迅速传播;大模大样地走;彻底删掉;延伸;轻松赢得;n.打扫;挥动;搜索,扫荡;广泛性;(道路、河流)绵延弯曲的地带;
  • WPS n.焊接工艺规程 Welding procedure specification;Word Processing System;文字处理系统;中文字处理系统;由金山软件公司开发;安全设置(WiFi Protected Setup);焊接工艺规程(welding procedure specification);焊接工艺指导书
  • pound[paʊnd] n.英镑;英镑币制;英镑与外币的比值;磅;收留所;扣留场;v.用力击打;咚咚地走;捣碎;剧烈跳动;狂烈轰炸;大声播放;
  • satisfactory[ˌsætɪsˈfæktəri] adj.令人满意的;合适的;

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈